2

Ultraproducts of Z with an Application to Many-Valued Logics

Year:
1999
Language:
english
File:
PDF, 140 KB
english, 1999
7

Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic

Year:
2016
Language:
english
File:
PDF, 427 KB
english, 2016
8

Finitary Extensions of the Nilpotent Minimum Logic and (Almost) Structural Completeness

Year:
2017
Language:
english
File:
PDF, 783 KB
english, 2017
11

Universal Classes of MV-chains with Applications to Many-valued Logics

Year:
2002
Language:
english
File:
PDF, 304 KB
english, 2002
15

Least V-quasivarieties of MV-algebras

Year:
2014
Language:
english
File:
PDF, 550 KB
english, 2014
22

Bounded BCK-algebras and their generated variety

Year:
2007
Language:
english
File:
PDF, 170 KB
english, 2007
25

Quasivarieties Generated by Simple MV-algebras

Year:
1998
File:
PDF, 861 KB
1998
30

MV-algebras: a variety for magnitudes with archimedean units

Year:
2005
Language:
english
File:
PDF, 383 KB
english, 2005
31

Lattice BCK logics with Modus Ponens as unique rule

Year:
2014
Language:
english
File:
PDF, 360 KB
english, 2014
32

Axiomatic Extensions of IMT3 Logic

Year:
2005
Language:
english
File:
PDF, 257 KB
english, 2005
33

Axiomatic Extensions of IMT3 Logic

Year:
2005
Language:
english
File:
PDF, 1.20 MB
english, 2005